#ifndef _KRLINIT_H_
#define _KRLINIT_H_

#include <krlmem.h>
#include <krldevice.h>
#include <krltime.h>
#include <krlsched.h>
#include <krlthdidle.h>
#include <std.h>

void krl_init (void);

#endif